[George Berkeley (1685-1753) (I)].

[George Berkeley (1685-1753) (III)].

An Essay Towards a New Theory of Vision Berkeley in the Modern Context

1 The Introduction Understanding vision has always been, and remains, one of the greatest challenges facing man. It is the sense through which the vast majority of the information we gather about the world is mediated and assimilated. It is no surprise then that the way we conceive this assimilation by vision both shapes, and is shaped by, our conceptions of the form of the world in which we nd...

GOAL solver: a hybrid local search based solver for high school timetabling

This work presents a local search approach to the High School Timetabling Problem. The addressed timetabling model is the one stated in the Third International Timetabling Competition (ITC 2011), which considered many instances from educational institutions around the world and attracted seventeen competitors. Our team, named GOAL (Group of Optimization and Algorithms), developed a solver built...

Completeness results for metrized rings and lattices

The Boolean ring $B$ of measurable subsets of the unit interval, modulo sets of measure zero, has proper radical ideals (for example, ${0})$ that are closed under the natural metric, but has no prime ideal closed under that metric; hence closed radical ideals are not, in general, intersections of closed prime ideals. Moreover, $B$ is known to be complete in its metric. Togethe...

A Iterative Analysis to Improve Key Properties of Critical Human-Intensive Processes: An Election Security Example

Leon J. Osterweil, University of Massachusetts Amherst Matt Bishop, University of California at Davis Heather M. Conboy, University of Massachusetts Amherst Huong Phan, University of Massachusetts Amherst Borislava I. Simidchieva, University of Massachusetts Amherst and Raytheon BBN Technologies George S. Avrunin, University of Massachusetts Amherst Lori A. Clarke, University of Massachusetts A...